x86-64 linux: CONFIG_ACPI_BOOT doesn't exist anymore
authorcl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Wed, 8 Feb 2006 15:43:01 +0000 (15:43 +0000)
committercl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Wed, 8 Feb 2006 15:43:01 +0000 (15:43 +0000)
commit83f96ddf658cd7905f055d4768b79a3a1837d68b
tree91b4701cb192baaadc5fbfb7b6be9898994d59b7
parentc81c906ac3ba84f4775a8f46c40b0fe4e8759538
x86-64 linux: CONFIG_ACPI_BOOT doesn't exist anymore

From: Jan Beulich <JBeulich@novell.com>
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
linux-2.6-xen-sparse/arch/x86_64/kernel/x8664_ksyms-xen.c